davis–putnam algorithm - Español Inglés Diccionario